settings: Change gtk-cursor-aspect-ratio from float to double
authorSebastian Keller <skeller@gnome.org>
Wed, 16 Dec 2020 19:57:31 +0000 (20:57 +0100)
committerSebastian Keller <skeller@gnome.org>
Wed, 16 Dec 2020 21:35:36 +0000 (22:35 +0100)
commit02f06813447cd3a4dfe3472e942bc94a21e5f6c3
tree784bbf1a1af20d86f4de435775bc33bb34f92ba3
parent0588db8a6986c4e39e6d8a197f12d5b26d2bf422
settings: Change gtk-cursor-aspect-ratio from float to double

Float properties can not be read from keyfiles. This was causing changes
to this property in settings.ini to be ignored. Fix this by changing it
to a double.

Technically this change could be considered an API break, but there are
no users of this property as float yet and it is early enough to expect
there to never be any.

Also document this change in the 3 to 4 migration guide since in gtk 3
this setting will be kept a float.

Fixes https://gitlab.gnome.org/GNOME/gtk/-/issues/3441
docs/reference/gtk/migrating-3to4.md
gtk/gtksettings.c
gtk/gtkstylecontext.c